A Real - time Pro le for UML and how to adapt

A Real - time Pro le for UML and how to adapt itto SDL ?

Mapping Architectural Concepts to UML-RT

Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged, one using a specialized notation for architecture or architecture description language (ADL), the other using notations applied generally throughout design, such as UML. The latter has a number of bene ts, including familiarity to developers, close mappings to i...

An Automated Process for Designing UML Profiles

Building a UML pro le may be a tedious and error-prone process. There is no precise methodology to guide the process or to verify that all concepts have been implemented once and only once. Best practices recommend starting by gathering concepts in a technology-independent domain view before implementation. Still, the adequation between the domain view and the implementation should be veri ed. ...

A Real-Time Profile for UML and How to Adapt It to SDL

This paper presents work of the IST project OMEGA, where we have defined a UML profile for real-time that is compatible with the Profile for Performance, Scheduling and Real-time recently accepted at OMG. In contrast to this OMG profile, we put emphasis on semantics and on its use in the context of timed analysis of real-time embedded systems. The defined profile is compatible with the time con...

Syntax and Semantics of the Clock Constraint Specification Language (CCSL)

The UML Pro le for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and o ers a broad range of capabilities required to model real-time systems. The MARTE OMG speci cation introduces a Time Structure inspired from Time models of the concurrency theory and ...